Commentary on: Jean H. M. Wagemans\u27 The assessment of argumentation based on abduction

N/

A fast algorithm for control and estimation using a polynomial state-space structure

One of the major problems associated with the control of flexible structures is the estimation of system states. Since the parameters of the structures are not constant under varying loads and conditions, conventional fixed parameter state estimators can not be used to effectively estimate the states of the system. One alternative is to use a state estimator which adapts to the condition of the system. One such estimator is the Kalman filter. This filter is a time varying recursive digital filter which is based upon a model of the system being measured. This filter adapts the model according to the output of the system. Previously, the Kalman filter has only been used in an off-line capacity due to the computational time required for implementation. With recent advances in computer technology, it is becoming a viable tool for use in the on-line environment. A distributed Kalman filter implementation is described for fast estimation of the state of a flexible arm. A key issue, is the sensor structure and initial work on a distributed sensor that could be used with the Kalman filter is presented

Computational tools for multi-linked flexible structures

A software module which designs and tests controllers and filters in Kalman Estimator form, based on a polynomial state-space model is discussed. The user-friendly program employs an interactive graphics approach to simplify the design process. A variety of input methods are provided to test the effectiveness of the estimator. Utilities are provided which address important issues in filter design such as graphical analysis, statistical analysis, and calculation time. The program also provides the user with the ability to save filter parameters, inputs, and outputs for future use

Formalizing Informal Logic

In this paper we investigate the extent to which formal argumentation models can handle ten basic characteristics of informal logic identified in the informal logic literature. By showing how almost all of these characteristics can be successfully modelled formally, we claim that good progress can be made toward the project of formalizing informal logic. Of the formal argumentation models available, we chose the Carneades Argumentation System (CAS), a formal, computational model of argument that uses argument graphs as its basis, structures of a kind very familiar to practitioners of informal logic through their use of argument diagrams

A Carneades reconstruction of Popov v Hayashi

Carneades is an open source argument mapping application and a programming library for building argumentation support tools. In this paper, Carneades’ support for argument reconstruction, evaluation and visualization is illustrated by modeling most of the factual and legal arguments in Popov v Hayashi

How to formalize informal logic

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. Carneades also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue

Critical questions in computational models of legal argument

Two recent computational models of legal argumentation, by Verheij and Gordon respectively, have interpreted critical questions as premises of arguments that can be defeated using Pollock’s concepts of undercutters and rebuttals. Using the scheme for arguments from expert opinion as an example, this paper evaluates and compares these two models of critical questions from the perspective of argumentation theory and competing legal theories about proof standardsfor defeating presumptions. The applicable proof standard is found to be a legal issue subject to argument. Verheij’smodel is shown to have problems because the proof stan-dards it applies to different kinds of premises are “hard-wired” into the system. Gordon’s model overcomes these problems by allowing different proof standards to be assigned to each issue and by supporting arguments about proof standards within the same framework. These differences are minor however compared to the insight gained from these models jointly about the theory of argument schemes and critical questions. They show how schemes can be used to implement tools for constructing arguments, and not just for classifying arguments ex post facto, and help clarify how critical questions confound declarative knowledge about conditions for using argument schemes with procedural knowledge about how to evaluate and criticize arguments made using these schemes

Modeling critical questions as additional premises

This paper shows how the critical questions matching an argumentation scheme can be mod-eled in the Carneades argumentation system as three kinds of premises. Ordinary premises hold only if they are supported by sufficient arguments. Assumptions hold, by default, until they have been questioned. With exceptions the negation holds, by default, until the exception has been supported by sufficient arguments. By “sufficient arguments”, we mean arguments sufficient to satisfy the applicable proof standard

Teaching sustainability and stewardship workshop 1: Collaborative approach to developing engagement with science and religion: Exploring sustainability in an international learning community

Workshop 1 introduces a collaborative approach to developing engagement with science and religion, by exploring sustainability in an international learning community of teachers based in Pakistan and England. The aim of the session was to begin to explore sustainability through science and religious worldviews. Participants were invited to: 1. Explore the meaning of the term ‘sustainability’ 2. Consider the relationship between science and religion 3. Reflect on the nature and communication of knowledge 4. Explore the Learning Community Blackboar

Science, religion and sustainability in schools: outlining a teacher learning community approach.

Sustainability is a large and growing field in educational research. Existing research has explored conceptually how the science/religion dialogue might inform sustainability education. This has the potential to enrich sustainability education by acknowledging difference and better engaging students across different religions and worldviews. Fostering a multidisciplinary approach to sustainability education in schools can help create connections between science, RE, geography, economics, and history, as these all contribute to critical thinking and inform compassionate action that supports social justice. Epistemically insightful approaches to teaching and learning have the potential to support this vital dialogue and push back against compartmentalization. In this presentation, we will discuss preliminary work and findings for our pilot study with ECTs, funded by the International Network for Science and Belief in Society. Our project will assess the potential of a cross-national (England and Pakistan) teacher research community model for co-creating resources and approaches that address the above issues of the conflict model, compartmentalization and lack of understanding/confidence in the delivery of sustainability education across different curriculum subjects